((body proportions of the high jumper))